This contribution to the debate over Marx's theory of value gives an account of his concept of ?abstract labour?. Contrary to Stanley Moore {Inquiry, Vol. 14 [1971]), Marx never abandons his early critique of the Hegelian ?Concept'; for he gives a material basis to the conception of social labour as concretely universal. If, in analysing the commodity form of the product of labour, Marx characterizes the labour that forms the substance of value as ?abstractly universal labour?, the priority of the (...) abstract over the concrete at this point is not due to the influence of Hegel's Logic on Marx's work, but reflects the material process of abstraction occurring in commodity exchange. We show that Marx takes up a critical stance to this reality. (shrink)

In a discussion-note in Mind, Father P. M. Farrell, O.P., gave an account, in what he admitted to be an embarrassingly brief compass, of the Thomist doctrine concerning evil. There is one sentence in this discussion which at first glance appears paradoxical. Father Farrell has been arguing that a universe containing ‘corruptible good’ as well as incorruptible is better than one containing ‘incorruptible good’ only. He continues: ‘If, however, they are to manifest this corruptible good, they must be corruptible and (...) they must sometimes corrupt.’ The final words, despite Father Farrell's italics, strike one as expressing, not a self-evident truth, but a non sequitur. The fact that I am capable of committing murder does not entail that I will at some time commit it. It is not immediately obvious that a similar entailment holds in the case of corruption and corruptibility. (shrink)

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, (...) the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties). (shrink)

"This edition, which replaces the original Loeb edition..., offers text, translation, and annotation that are fully current with modern scholarship"--Front flap of dust jacket, volume 1.

Crito is a dialogue by the ancient Greek philosopher Plato. It depicts a conversation between Socrates and his wealthy friend Crito regarding justice, injustice, and the appropriate response to injustice. Socrates thinks that injustice may not be answered with injustice, and refuses Crito's offer to finance his escape from prison. The dialogue contains an ancient statement of the social contract theory of government.

A subspace V of an infinite dimensional fully effective vector space V ∞ is called decidable if V is r.e. and there exists an r.e. W such that $V \oplus W = V_\infty$ . These subspaces of V ∞ are natural analogues of recursive subsets of ω. The set of r.e. subspaces forms a lattice L(V ∞ ) and the set of decidable subspaces forms a lower semilattice S(V ∞ ). We analyse S(V ∞ ) and its relationship with L(V (...) ∞ ). We show: Proposition. Let U, V, W ∈ L(V ∞ ) where U is infinite dimensional and $U \oplus V = W$ . Then there exists a decidable subspace D such that U |oplus D = W. Corollary. Any r.e. subspace can be expressed as the direct sum of two decidable subspaces. These results allow us to show: Proposition. The first order theory of the lower semilattice of decidable subspaces, Th(S(V ∞ )), is undecidable. This contrasts sharply with the result for recursive sets. Finally we examine various generalizations of our results. In particular we analyse S * (V ∞ ), that is, S(V ∞ ) modulo finite dimensional subspaces. We show S * (V ∞ ) is not a lattice. (shrink)

One of the most extensive yet least conclusive methodological debates within religious studies revolves around the question of what, precisely, the phenomenology of religion is and what contribution it can make to the study of religion. I do not intend to answer this important question here. To do so satisfactorily would require a range of historical, philosophical and methodological inquiry which would go quite beyond the bounds of a single article. My intention in this paper is, by comparison, unambitious. It (...) is to take one view of what phenomenology of religion is and to consider an area outside that usually explored by students of religion which can, nonetheless, shed some light on how religions might be studied in a way which is in accordance with the phenomenology of religion so understood. What follows will offer an answer to the question of what contribution one particular understanding of phenomenology might make to the study of religion, but no attempt will be made to establish whether or not this particular understanding ought to be regarded as normative. (shrink)

C. J. F. Williams; VI*—Is Identity a Relation?, Proceedings of the Aristotelian Society, Volume 80, Issue 1, 1 June 1980, Pages 81–100, https://doi.org/10.1093/.

In this paper we consider a natural generalization of the Principle of Instantial Relevance and give a complete characterization of the probabilistic belief functions satisfying this principle as a family of discrete probability functions parameterized by a single real δ ∊ [0, 1).

In the last decade the use of advance directives or living wills has become increasingly common. This paper is concerned with those advance directives in which the user opts for withdrawal of active treatment in a future situation where he or she is incompetent to consent to conservative management but where that incompetence is potentially reversible. This type of directive assumes that the individual is able accurately to determine the type of treatment he or she would have adopted had he (...) or she been competent in this future scenario. The paper argues that this assumption is flawed and provides theoretical and empirical evidence for this. If the assumption is false, and those taking out advance directives do not realise this, then the ethical bases for the use of these advance directives-the maximisation of the individual's autonomy and minimisation of harm-are undermined. The paper concludes that this form of advance directive should be abolished. (shrink)

Introduction: conceptual analysis of teaching, by B. P. Komisar and T. W. Nelson.--A concept of teaching, by B. O. Smith.--The concept of teaching, by I. Sheffler.--A topology of the teaching concept, by T. F. Green.--Teaching: act and enterprise, by B. P. Komisar.--Must an education have an aim? By R. S. Peters.--Curriculum as a field of study, by D. Heubner.--Can and should means-ends reasoning be used in teaching? By C. J. B. Macmillan and J. E. McClellan.

We re-express a previous general result in a way which seems easier to remember, using the terminology of infinite games. We show how this can be applied to construct recursive linear orderings, showing, for example, that if there is a ▵ 0 2β + 1 linear ordering of type τ, then there is a recursive ordering of type ω β · τ.